Unsolved metas at the following locations:
  Issue1886-dont-duplicate-ip.agda:8,25-29
Unsolved interaction metas at the following locations:
  Issue1886-dont-duplicate-ip.agda:8,25-29
